A modal specification theory for components with data
نویسندگان
چکیده
منابع مشابه
A Modal Specification Theory for Components with Data
Modal specification is a well-known formalism used as an abstraction theory for transition systems. Modal specifications are transition systems equipped with two types of transitions: must-transitions that are mandatory to any implementation, and maytransitions that are optional. The duality of transitions allows for developing a unique approach for both logical and structural compositions, and...
متن کاملA Modal Specification Theory for Timing Variability
Modal specifications are classical formalisms that can be used to express the functional variability of systems; it is particularly useful for capturing the stepwise refinement of component-based design. However, the extension of such formalisms to real-time systems has not received adequate attention. In this paper, we propose a novel notion of time-parametric modal specifications to describe ...
متن کاملA Robust Specification Theory for Modal Event-Clock Automata
In a series of recent work, we have introduced a general framework for quantitative reasoning in specification theories. The contribution of this paper is to show how this framework can be applied to yield a robust specification theory for timed specifications.
متن کاملA Modal Interface Theory with Data Constraints
For the design of component-based software, the behavioral specification of component interfaces is crucial. We propose an extension of the theory of modal I/O-transition systems by Larsen et al. to cope with both control flow and data states of reactive components at the same time. In our framework, transitions model incoming or outgoing operation calls which are constrained by preand postcond...
متن کاملTimed Modal Specification - Theory and Tools
In this paper we present the theory of Timed Modal Specifications (TMS) together with its implementation, the tool Epsilon. TMS and Epsilon are timed extensions of respectively Modal Specifications [Lar90, LT88] and the Tav system [GLZ89, BLS92]. The theory of TMS is an extension of real–timed process calculi with the specific aim of allowing loose or partial specifications. Looseness of specif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.06.003